improved speed of implicit resolution
uncomment