Οι αντιλογισμοί χρησιμοποιούνται στις αποδείξεις για άμεση καταχώρηση και δεύτερης, αντιλογιστικής, κίνησης. Για παράδειγμα μπορεί να χρησιμοποιηθεί στην καταχώρηση μίας Απόδειξης Δαπανών, η οποία πιστώνει τον προμηθευτή, για να δημιουργήσει άμεσα και την χρέωσή του, αν η δαπάνη έχει εξοφληθεί με μετρητά.