Description

After reports whether the time instant t is after u.