Encoding architecture algebra