logic resolution x: logic resolution y: