In cubical type theory, regularity is the condition where composition along a degenerate? open box is the identity.