Modeling solid-to-solid biocatalysis by