Working on implicit arguments