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