Initial Implementation of SINQ