שליחה במסרון: Semantic acyclicity under constraints