Subjunctivity and cross-world predication