a lax definition of interpret