then; when

noun