Missing condition
Add some explanations of procs