solved restriction = b problem