Or rather, what do we do if this is false?