Lewis counterpart theory and quantified modal logic.pdf