added a few more pseudos