introduce dangerous implicit arguments