Fix

Okay. Here's the new specs (to be implemented) and the changed specs for bug fixes (failing, of course)...