https://hutcheson.org/reduslim/