an extra requirement for acyclicity.