adding previously unsaved logicaluncertainty stuff