Logic and Moral Philosophy class library