Lorentz transformations from the first postulate | Synapse