0/¬h