Options

[split] On the validation of Theories