don't need that first liquidAssume