Procedure runs with math functions stubbed