Error opening reasoning