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