As commented about, please use the "Let x be an instance of Y" pattern instead.