How to make Mario levels, by negative example