default reasoning

  1. REDIRECT default logic