| (1) | An act is right in virtue of maximizing happiness. |
| (2) | Gwen’s act of charity is right because it maximizes happiness. |
| (3) | An act is right because it maximizes happiness. |
| (4) | An agent knows a proposition is true, in part, because they believe the proposition is true. |
| (5) | An object is a table because it is composed of atoms arranged table-wise. |
| (6) | Gwen’s act of charity is right because it maximizes happiness. |
| (7) | Luke knows that Gwen is philanthropic, in part, because he believes that Gwen is philanthropic. |
| (8) | The fact that Jack’s table is a table is grounded in the fact that Jack’s table is composed of atoms arranged table-wise. |
| (10) | Acts are right because they promote happiness. |
| (11) | Knowledge is grounded in true belief. |
| (12) | Gen x.(x is a bird)(x flies) |
| (13) | Gen x.(x is a right act)(x is a right act because it maximizes happiness) |
| (14) | Numbers are grounded in mathematical structures. |
| (15) | An object is colored in virtue of possessing some specific color. |
| (16) | An object is colored in virtue of being red. |
| (17) | Pains are grounded in physical states. |
| (18) | Non-fundamental pains are grounded in physical states. |
| (19) | Necessarily, for every x, if x is a right act, then the fact that x is right is fully grounded by the fact that x maximizes happiness. |
| (20) | Necessarily, for every x, if x is a right act, then the fact that x is right is fully grounded by the fact that x maximizes happiness. |
| (21) | For every x in world w 1, if x is a right act, then x is right in virtue of maximizing happiness. |
| (22) | [Gwen’s act maximizes happiness (in w 1)] ≺ [Gwen’s act is right (in w 1)] |
| (23) | Acts are right in virtue of maximizing happiness, and I take this to be a primitive moral law. |
| (24) | Every bottle is empty. |
| (25) | Every bottle in the universe is empty. |
| (26) | Every bottle in Tasha’s house is empty. |
| (27) | An agent knows a proposition is true, in part, because he or she believes the proposition is true. |
| (28) | An object is a table because it is composed of atoms arranged table-wise. |
| (29) | For any possible sets x and y, the fact that x and y have the same members grounds the fact that they are identical. |
| (30) | It lies in the nature of what it is for an act to be right that: for every x, if x is a right act or x maximizes happiness, then the fact that x is right is fully grounded by the fact that x maximizes happiness. |