Still missing implications