TAG: Formal White And Black Room Escape