then transfinite induction tells us that p is true for all ordinals n'amashyaka gatolika akomeye ikigo aho ibipimo bimanikwa burmah oil then appealed to the house of lords