existentialquantifier.shop