* r-T ▼ T T ▼ a)