logoalt Hacker News

user3939382today at 9:15 PM0 repliesview on HN

Correct. I have all of this worked out if anyone wants to check my work. I validated it through John Baez.