Went through your examples and improve specs, wording, and code