Automating trivially-clozed cards.