- preliminary implementation of theorem reference material. 
- may still be a bit buggy --> need more testing