There is now an opportunity for them to do it again by providing an easily understandable proof which isn't broken up into a large number of cases.