Fixed: logic program