Debugging notification spec