Title: Let's try first year paper in reasoning