case/bug: otherwise should not arbitrarily unwrap cases.