for S being Language holds AtomicFormulasOf S is S -prefix