adding a proof for the realistic bugs

Signed-off-by: Alfredo Deza <alfredo@deza.pe>