Struggling home automator with many talents, none of which are formal logic and programming.