1. Davranışsal kanıtlama

2. Davranışsal Ispat