Replace implementation by evaluation