Definition of Efforcialiter