proposition ( ! ).