comb identity (
	a: Logic<5>
	) -> Logic<5>
{
	a
}