Գրեք սա: Advanced procedure and axioms