Formally commented code.