Simulate Mathematical Practices