added proposition for logging