remove IMachine implements truth