Draft of unifiication for all-fail premises