slice some logics into inludes