A bit more complex reverse restriction, but not as nice probably