NASTY (Extended Version)