for study of reasoner