User Portlet User Portlet

Discussions
Thanks for the response, but indeed I'm more interested in writing assumptions for symbolic m :)