 This is larger than Carol's clock time formula_33 since

provided formula_40 and formula_41.In the "k"-calculus methodology, distances are measured using radar.An observer sends a radar pulse towards a target and receives an echo from it.