Adding How to use in Alloy.