pinged

• renumber
• demo
• lemmas
• swizzles
• remonstrates