Assumptions ty