Formula interpretation