tidy proof