A computer-assisted proof of universality for area-preserving maps | lit.salon