BKR codes explained