Why do we assume true for this to start off with? Just curious.