updated certainty printing, updated level 1 lib