simplify example
use imply, which should work

except it crashes