But it doesn't. The code will only ever output 0 or 1. With a regular <=> operator at least.