the principle starts from two assumptions