dimitrios min trick applied to denotational semantics