Bounded Martin’s Maximum の略かな?