Proxy Assertions and Agency: The Case of Machine-Assertions · Study