Logic in Plug