state: explicit message recording