unknown -> unkn;  ok -> succ