reprove

• normalised
• SJW
• lamppost
• undershooting
• restaurants
• subprograms
• Roderick