groping to get the code formatting working on get/3 before `Coordinators in Action`