Convenient Logic is Dishonest Logic