GRIMACE. (Extended Version)