Add tests for implication
no message