Added section about assertions and assumptions