mtaran comments on Solving Alignment by “solving” semantics