New post- notes for Alloy Chapter.2