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