sample logics