Rigorously (2)