Simul Logic