Status

proof by induction abuse go brr