Added section on run-time checks