pe : fa <-=-> 1:n is implemented, code has been cleaned