#formal method

results 1