Theory and Tools