rigorous mathematical methods