unwrap package:equational-reasoning