other proof attempt