Solving mre asertions
Solving mre asertions