Armstrong's truthmaker theory demonstrates that the truth of 'x is F' requires a distinct ontologica...