proper++