LogicEditor toolkit examples