init
fact
ok