Text this: Logical approach to systems theory