`is_element/BW1` := eval(`is_element/prime_simplex`);
`is_equal/BW1` := eval(`is_equal/prime_simplex`);
`is_leq/BW1` := NULL;
`random_element/BW1` := eval(`random_element/prime_simplex`);
`list_elements/BW1` := NULL;
`count_elements/BW1` := NULL;
`phi/nonempty_subsets/BW1` := eval(`phi/nonempty_subsets/prime_simplex`);
