Yeah, or the distribution would have failed to find it and thrown an exception