In theory, we just set all these values above. Would be neater (and faster) to re-use them here