現状では any P: P でもできないっぽいですね。