Law underwritten by code