Implement composition inverse and others