omega is inaccessible by CARD_5:30;