Mistake in (multiply [x y] {:post}) fixed