syllogism comments on Neural program synthesis is a dangerous technology