Text this: MIXING DEDUCTIVE AND INDUCTIVE ANALYSES FOR SECURITY APPLICATIONS

  ____     _    _                ___     ______   
 |  _ \\  | || | ||     ___     / _ \\  |      \\ 
 | |_| || | || | ||    /   ||  / //\ \\ |  --  // 
 | .  //  | \\_/ ||   | [] || |  ___  |||  --  \\ 
 |_|\_\\   \____//     \__ || |_||  |_|||______// 
 `-` --`    `---`       -|_|| `-`   `-` `------`  
                         `-`