finish example logics