These two are always true.