Completed with implicit arguments