?
rm generated file
add empty sequence to propositions