you always replace it by ``true``. Why not putting it directly in the original definition ?