On the limited principle of omniscience: On the weak limited principle of omniscience: See also: