added the necessary instance for alloy logic