alloy: proper paren usage