Q Home comments on Solving Alignment by “solving” semantics