proof of absence: add failing test