Fix missing imports
Add test for 'string'
Change name of an argument
Add test for 'satisfy'