Logarithmic-Time Internal Pattern Matching Queries in Compressed and Dynamic Texts | Synapse