Theory of freezing