bug fixed:passed example
move first order logic to another repository.