Properties and Computations