Is @0 solvent? @1 @2 @3