Title: Sm Logic with Hsymlog I/M & Guide