Complaint regarding semantics after forgoing rewrite