proceedings of the royal institution