higher-order logic; multiway decision graphs