Single point postulate

/