start :: fn { a := 1 b := 2 a = b a <=> 2 b <=> 2 }