method under_semi = o