Shelved?
And we're still working on it. Sometimes things prove more difficult than thought at first ;)
Edit: typo fix: proof -> prove, Thx Mexk