note that the class constraint is right but the body is wrong