b :: 1
a :: b + 1

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