Algebraized "No such hypothesis" errors