Logic bugs worked out