New strategies + general minimize/maximize
Well-formed check