refined conditional in partial