Slightly more complex Logical Conditions on Forms