Simpex Reasoning