To verify De-Morgan's theorems.

Validator
Severity
ESLint
HTTPS
Experiment Descriptor
Assesment Task