c : c : ; _ ct * H c.