More interesting assertion in the cuke