A truthmaker of a truth t is an entity whose existence broadly logically necessitates the truth of t...