Chapter21 (v12) Implicit parameters
Chapter21 (v13) Implicit parameters (source)