Show HN: A Transformer model that preserves logical equivalence | Heykuki News