a -> a
a -> b -> a
a -> (a -> b) -> b
(a -> b) -> (a -> b -> c) -> (a -> c)
(a -> b) -> (b -> c) -> (a -> c)
(a | b) -> !a -> b
(a -> b) -> (!a -> b) -> b
(!a -> b) -> (!a -> !b) -> a
a | b -> (a -> c) -> (b -> c) -> c
a | b | c -> (a -> d) -> (b -> d) -> (c -> d) -> d
T -> a -> a
a -> b -> c -> d -> e -> f  -> g -> h -> i -> j -> k-> l -> m -> n -> o -> p -> q -> r -> s -> t -> u -> v -> w -> x