The Dogmatic Definition of the Assumption