for pedagogic reasons