Logic in Computer Science

No casts.