An introduction to TimeCap