Testing synthesis of system so far.