On the "Logic of Aviasaf"