implications are thereby automatic

hahaha