När efter låg beräkning antages ,att