. . . . . . . . "environment for proposition"@en . . . . . "week.01" . . . . . . . . .