added the skeleton of alloy logic