Inference procedure

  1. REDIRECT inference