Pošljite SMS: Semantic acyclicity under constraints