რატომ გამოიყენება აქ ბექტიკები სიმბოლოს შემოწმების მეთოდებში? რა განსხვავებაა ბექტიკებს, დუალურ და მარტივ ციტატებს შორის?