Michael Holler

@ajc-uconn I hope this is still relevant to you. A bit of explanation is needed to fully understand the problem here. Every specification can be implicitly converted to either a...