Three-dimensional flops and noncommutative rings | Synapse