Implementability and Time.TimeDiff