Armstrong's truthmaker principle holds that every true proposition must have an ontological ground t...