Extended tits compilation