Logic update experiments, bugs found