After a quick skim the constructor theory seems like restating laws of physics as logical relations instead of functions. So instead of saying f(3)=4 you say r

After a quick skim the constructor theory seems like restating laws of physics as logical relations instead of functions. So instead of saying f(3)=4 you say relation f is fulfilled for arguments 3 and 4. Is this all or did I miss something? Relations are more general and expressive, but ultimately you can always turn a relation into a function of 1 more dimension, so don't think it's a breakthrough.