Armstrong's truthmaker argument shows that for 'a is F' to be true, there must be a distinct state o...