Qualifiers in E4BT: theory and exercises