If marriage is a lifetime commitment, why is there a provision for divorce?