add comments for the actual algorithm && change message label
reorganize the Bracha-Toueg algorithm implementation