Return to Article Details Formal Alternatives as a Solution to the Proviso Problem Download Download PDF