A and B, B is hard