LOOK AT THIS PROOF. BAD ULTI.