Reasons for assumptions and their correctness