- (^ 3 3) (Fact 4)
# v1, v2: v1 (v1 (v1 v2))