Facts based reasoning.