reasoning file