With-without principle