3 ms·Hi, I'm one of the authors this book and of version 6 of Alloy. Happy to answer any question.by grayswandyr 2y agoHi, I'm one of the authors this book and of version 6 of Alloy. Happy to answer any question.