>>> Logic and Heuristics Applied to Synthetic Analysis <<<