module Lorentz::Contract