Backus-Smith puzzle