New: and-strategy