Implement and test existspos