The rectangle condition does not detect the strong irreducibility | Synapse