$TIME je jednoduše podhodnocený.
671