Further Documentation for Easy Debugging