Debugged key assertions, now working