Implemented person in alloy