emptied c.thy outta Sandbox