Logic requires IMeasurable but does not yet use