So basically they re-invented light clients and checkpointing?