Proof Computation And Agency Logic At The Crossroads | Desertcart EGYPT