Plaid is a new programming language that extends object oriented programming with typestates to allow a natural modeling of protocols. Plaid uses access permissions to safely reasons about states and state changes.