static L trueStatementsByHead(S head) { ret aiUsing(filterByHead(head, parsedTrueStatements_cached())); }