Formel deneme türünün öncüsü aşağıdakilerden hangisidir?