purification
random tests
presentation + analitic model