proof attempt
simplified ports type