Revert "David+Denis spec"

This reverts commit 895f5632cb4d41f78528781783712133615a3bbb.