Is this implied by the one above it?