The package documentation includes a simplified (but still rigorous enough) explanation of the background theory, inspired in [@Beer2017] and [@Bell2015]. It is assumed that the students understand ...