remove silly unnecessary 'rescaling' by dividing by 1
graphing sorites inductive premise i think