Uses real variables :(