Logic Validation e.g. identification of logic errors or inconsitency
(
)