Scoping defuns to user: