Text this: Chrysippus’ Conditional Captured from a Non-Axiomatic Computer Program