A logical romance