commit of verification long standing branch

javadoc? I don't really have a good suggestion, but ```definedKLabel``` doesn't seem very straightforward to me. So I think it is good to at least have a javadoc.