mayImplicit
mustExplicit
