cubefox comments on rustyfe’s Shortform

[cubefox]

X because Y implies X and Y, though not the other way round.