Slightly improved add proposition form.