Title: Beginner's Guide to Linear Arithmetic