all clauses generated for E3, missing exaclty one...