This guy https://en.wikipedia.org/wiki/A_Symbolic_Analysis_of_Relay_a...