A framework for extensible, reflective decision procedures.