演繹;推演