proof with time expensive /start operation