AutomataFormula is for sale

Please prove you're not a robot