Contrapositives are for cowards
Coming soon
in the meantime
stored here