He who says A must also say B

A IMP B