implicit arguments now fully removed