Painfully strict logic, hard forks