re-add semantic min