however these principles do not enforce all logical systems