Contact Sequential Logic