improved proof attempt for peeknext
add @ to clean target