writing out Exists for debugging