LogiLaw - Full User Manual