True, but at the time it seemed too implicit.