For someone arguing that “coding is conveying logic” seems like you need a refresher on propositional logic