Beta cannot satisfy