Starling with a first-order modal conditional logic which allows unlimited nesting of defaults and emheddings into any context analyzable in possibleworlds theory I introduce two simple notions of default reasoning the syntactic notion of (pnorniied) Allowed Consequence and the semantic notion of (prioritized) Allowed Entailment I prove that the one is sound and complete relative to the other