Keyword: usoj_bredlab.smt