The proposition