fresh or frozen broccoli, steamed until crisp-tender