;;; -*- Mode:LISP; Package:USER; Base:10 -*-

(defun sort-hypotheses (hypothesis1 hypothesis2)
  (if (< (second hypothesis1) (second hypothesis2))
      t nil))


(defun atom-crash ()
  (sort-hypotheses 1.0S0 3))