ok, but this becomes irrelevant given our irc discussion, right?