Property { ##[ x <- Int #]## square( $x ) == $x * $x; }, name => "Finding \$x's square";