public static Class<?> formulaClass(Class<?extends Deduction> rule) {
		try {
			return (Class<?>) rule.getMethod("formulaClass", null).invoke(null,null);
		} catch (Exception e) {
			e.printStackTrace();
			return null;
		}
	}