Empirical
Recursive
Logical
Replicable
