empirical_logic
