The branch of mathematics which describes where line A crosses line B, in terms of where line C crosses line D (see diagram). In other words, where one curve touches a line that it goes no where near, in terms of where another curve touches a line it goes no where near. Who said mathematics wasn't logical?
