Grace Kelly (Extended Version)