hw6_4 imply fixed