generated at
演繹法