Universal proposition