Text this: Logical Concurrency Control from Sequential Proofs