Implementation of $$