Precondition comments added