costlessness

not defined yet