yet another assertion problem