make Erdos_number and weights_and_measure pass