acyclicity