We should encoe that these functions return their respective arguments for now.
We should encoe that these functions return their respective arguments for now.