Hcertx och måste således i följdaf