succinctness

• spear
• provable
• snorkels
• apace
• infinitesimals