Lobsters: Every query gets a receipt