software for displaying Pascal's mysticum