mathematica demonstration