Arora highlights from the judgement formal and proportionate equality.