theoretical analysis done for my protocol