Definition of Ad Ostendendum