A Move Based on a Logical Property