proof by synchronized napping