Third step, but I cannot prove any of the properties we need, so...