added description to bitdiff
first prop/math question