equal junction kind object kind kind pseudost kind illeg argument except pseudost kind pk junction equal kind invalid object except invalid element except 