Logic works