Directly using the ATPs on some Stanovský properties.