saint john's rain carries hazelnuts and acorns the lower prism is known as a half penta prism or bauernfeind prism to overcome this difficulty a fixed point definition of common knowledge can be given