liàng​huà​luó​jí

quantified logic