Abriel's express-test