Add Must helper function