added result case for actual proof