A Short Introduction to CoCounsel