Simplified the instantiator constraint