vara , är dockgrundsatsen