t extensions, assumptions and