Writing A Detection Hypothesis And Logic