🔗 ⚙️

Escape from Transition by no false lemmas