take id NAT ; :: thesis: id NAT is AP-like
thus id NAT is AP-like ; :: thesis: verum