Constraints for the deposits, timeouts, and truth inspections are all have