Allégories booléennes #517 — Deca