Dealiasing: why a product on a grid can blow up a spectral solver

Afterwards you can explain why products on a grid create aliased modes, remove them with the 2/3 rule or padding, and test a solver for the energy they leak.