Yes, but then it should be easy to check of the result you see match the reasoning you see