Add specs documenting current failure cases, and add skeleton for way to hack around them