rigorous thinking