I didn't think too hard about it - it looks like you're probably right.