Add problem (official) definitions
Remove main ns (use user by default)