Chapter21 (v3) Rules for implicits