Äro författningarne i antydda fallofullständiga