These are supposed to be true.