$ x = 0 $: $ P $: $ orall y\ (0 \mid y \Rightarrow y \mid 0) $. - AMAZONAWS