alpha_homora.sats