So flip_flop, you are Engineer !! Then I think you will find the second one more meaningful. The equations are axioms.