Quatre's logic