added a lot more Javascript-to-PFA