Introduction to CJML and HORM