Definition for argumentum a maiori ad minus