LOGICAL and SANDRIQUE