let
eq s t = s.post == t.post