fix run(), add basic specs for running in the domain