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