renamed whenVisible method into whenSectionVisible with implicit claim