comments and assert fact true: ha_infra