Translated Alloy_Tasks.md