The logic of E1