Ladder of inference J Kevin Costello 10 Sep 2018 00:55 UTC