[l33t2328]

I’m arguing that logic is a subfield of CS, so “constructing” CS “from” logic isn’t a contradiction.